<?php

class Ec {
	public $codes = array();
	public $chars = array();
	public $ec = array();
	public $last_ec = 0;

	function get($c) {
		return $c;
		if (isset($this->chars[$c]))
			return $this->chars[$c];
		$n = ++$this->last_ec;
		$this->chars[$c] = $n;
		$this->ec[$n] = $c;
		return $n;
	}
	
	function dump() {
		echo "ec: \n";
		print_r($this->codes);
	}
}
